Postgres in 2025: No managed service required?
docs.codefloe.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Rise of Remote Agentic Environments
thenewstack.io·59m
🤖Program Synthesis
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
SPL Lightweight Multisource Mixed Computation Practices
github.com·8h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·4h·
Discuss: Hacker News
🐫Embedded OCaml
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🔄Reproducible Builds
Building a Carbon and Price-Aware Kubernetes Scheduler [audio]
kube.fm·1h·
Discuss: Hacker News
⎈Kubernetes
Peeking Under the Hood of Claude Code
medium.com·2h·
Discuss: Hacker News
🛡️seL4
Micro Lab! Self-contained cluster for Air-gapped Platform Engineering
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Running .NET in the browser without Blazor
andrewlock.net·22h·
Discuss: Hacker News
👁️System Observability
Why Is This Hard?
programmersstone.blog·4h·
Discuss: Lobsters, Hacker News
🔬Static Analysis
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·12h
🐫OCaml
Building a Blog from Scratch in 90 Minutes with 233 LOC
elliotbonneville.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
The Great Refactor
ifp.org·5h·
Discuss: Hacker News
🤖Program Synthesis
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
Introducing Rusted Firmware-A (RF-A) - A Rust-Based reimagination of Trusted Firmware-A
trustedfirmware.org·1d·
Discuss: r/rust
❄️Nixified Development
Anno 1800 Frame Analysis
blog.thomaspoulet.fr·18h·
Discuss: Hacker News
🎮Verification Games
Building a Distributed Filesystem for Scalable Research
hudsonrivertrading.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure